This is DVIIMAGEN, Version 0.1
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 3 (the works)
  Resolution =  300.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00006334 pixels per DVI unit
' TeX output 1984.11.29:1243'
Postamble starts at byte 354.
maxv=43725786, maxh=30785863, maxstackdepth=2, totalpages=1
Font 15: amsy7Start of gf postamble found at q= 354
---loaded at size 458752 DVI units 
Font 0: amr10Start of gf postamble found at q= 354
---loaded at size 655360 DVI units 
 
42: beginning of page 1 
87: push 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
88: down3 -917504 v:=0-917504=-917504, vv:=-58 
92: pop 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
93: down4 42152922 v:=0+42152922=42152922, vv:=2670 
98: push 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670) 
99: down4 -41497562 v:=42152922-41497562=655360, vv:=42 
104: push 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=42) 
105: right3 1310720 h:=0+1310720=1310720, hh:=83 
[ ]
109: fntdef1 0: amr10 
130: fntnum0 current font is amr10 
131: setchar65 h:=1310720+520131=1830851, hh:=114 
132: setchar66 h:=1830851+451205=2282056, hh:=143 
133: setchar67 h:=2282056+486576=2768632, hh:=173 
134: w3 218453 h:=2768632+218453=2987085, hh:=189 
138: setchar68 h:=2987085+441591=3428676, hh:=215 
139: setchar69 h:=3428676+416096=3844772, hh:=242 
140: setchar70 h:=3844772+388796=4233568, hh:=266 
141: w0 218453 h:=4233568+218453=4452021, hh:=282 
142: setchar71 h:=4452021+527274=4979295, hh:=313 
143: setchar72 h:=4979295+478515=5457810, hh:=344 
144: setchar73 h:=5457810+395294=5853104, hh:=369 
145: w0 218453 h:=5853104+218453=6071557, hh:=385 
146: setchar74 h:=6071557+367994=6439551, hh:=406 
147: setchar75 h:=6439551+561736=7001287, hh:=441 
148: setchar76 h:=7001287+561736=7563023, hh:=477 
149: setchar77 h:=7563023+728180=8291203, hh:=523 
150: w0 218453 h:=8291203+218453=8509656, hh:=539 
151: setchar78 h:=8509656+561736=9071392, hh:=573 
152: setchar79 h:=9071392+513624=9585016, hh:=605 
153: setchar80 h:=9585016+409600=9994616, hh:=631 
154: w0 218453 h:=9994616+218453=10213069, hh:=647 
155: setchar81 h:=10213069+509726=10722795, hh:=681 
156: setchar82 h:=10722795+482416=11205211, hh:=712 
157: setchar83 h:=11205211+413504=11618715, hh:=735 
158: w0 218453 h:=11618715+218453=11837168, hh:=750 
159: setchar84 h:=11837168+451468=12288636, hh:=776 
160: setchar85 h:=12288636+513886=12802522, hh:=809 
161: setchar86 h:=12802522+513886=13316408, hh:=841 
162: w0 218453 h:=13316408+218453=13534861, hh:=857 
163: setchar87 h:=13534861+638714=14173575, hh:=896 
164: setchar88 h:=14173575+561736=14735311, hh:=931 
165: setchar89 h:=14735311+528191=15263502, hh:=965 
166: setchar90 h:=15263502+561736=15825238, hh:=1000 
[ABC DEF GHI JKLM NOP QRS TUV WXYZ]
167: pop 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=42) 
168: y3 786432 v:=655360+786432=1441792, vv:=91 
172: push 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=91) 
173: right3 1310720 h:=0+1310720=1310720, hh:=83 
177: setchar97 h:=1310720+327680=1638400, hh:=106 
178: setchar98 h:=1638400+353688=1992088, hh:=126 
179: right2 18204 h:=1992088+18204=2010292, hh:=127 
182: setchar99 h:=2010292+353688=2363980, hh:=148 
183: w3 218453 h:=2363980+218453=2582433, hh:=164 
187: setchar100 h:=2582433+353688=2936121, hh:=184 
188: setchar101 h:=2936121+353688=3289809, hh:=206 
189: setchar102 h:=3289809+395294=3685103, hh:=231 
190: w0 218453 h:=3685103+218453=3903556, hh:=247 
191: setchar103 h:=3903556+395294=4298850, hh:=270 
192: setchar104 h:=4298850+312073=4610923, hh:=290 
193: setchar105 h:=4610923+312073=4922996, hh:=310 
194: w0 218453 h:=4922996+218453=5141449, hh:=326 
195: setchar106 h:=5141449+228851=5370300, hh:=339 
196: setchar107 h:=5370300+395294=5765594, hh:=363 
197: setchar108 h:=5765594+395294=6160888, hh:=388 
198: setchar109 h:=6160888+478515=6639403, hh:=419 
199: w0 218453 h:=6639403+218453=6857856, hh:=434 
200: setchar110 h:=6857856+374491=7232347, hh:=456 
201: setchar111 h:=7232347+228851=7461198, hh:=471 
202: setchar112 h:=7461198+634556=8095754, hh:=511 
203: w0 218453 h:=8095754+218453=8314207, hh:=527 
204: setchar113 h:=8314207+578383=8892590, hh:=561 
205: setchar114 h:=8892590+644958=9537548, hh:=602 
206: setchar115 h:=9537548+258500=9796048, hh:=622 
207: w0 218453 h:=9796048+218453=10014501, hh:=634 
208: setchar116 character 116 invalid in font amr10! h:=10014501+0=10014501, hh:=634 
209: setchar117 character 117 invalid in font amr10! h:=10014501+0=10014501, hh:=634 
210: setchar118 character 118 invalid in font amr10! h:=10014501+0=10014501, hh:=634 
211: w0 218453 h:=10014501+218453=10232954, hh:=648 
212: setchar119 character 119 invalid in font amr10! h:=10232954+0=10232954, hh:=648 
213: setchar120 character 120 invalid in font amr10! h:=10232954+0=10232954, hh:=648 
214: setchar121 character 121 invalid in font amr10! h:=10232954+0=10232954, hh:=648 
215: setchar122 character 122 invalid in font amr10! h:=10232954+0=10232954, hh:=648 
[ abc def ghi jklm nop qrs tuv wxyz]
216: pop 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=91) 
217: y0 786432 v:=1441792+786432=2228224, vv:=141 
218: push 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=141) 
219: right3 1310720 h:=0+1310720=1310720, hh:=83 
223: setchar48 character 48 invalid in font amr10! h:=1310720+0=1310720, hh:=83 
224: setchar49 character 49 invalid in font amr10! h:=1310720+0=1310720, hh:=83 
225: setchar50 character 50 invalid in font amr10! h:=1310720+0=1310720, hh:=83 
226: setchar51 character 51 invalid in font amr10! h:=1310720+0=1310720, hh:=83 
227: setchar52 character 52 invalid in font amr10! h:=1310720+0=1310720, hh:=83 
228: setchar53 h:=1310720+327680=1638400, hh:=106 
229: setchar54 character 54 invalid in font amr10! h:=1638400+0=1638400, hh:=106 
230: setchar55 character 55 invalid in font amr10! h:=1638400+0=1638400, hh:=106 
231: setchar56 h:=1638400+436910=2075310, hh:=131 
232: setchar57 h:=2075310+436910=2512220, hh:=157 
[ 0123456789]
233: pop 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=141) 
234: y0 786432 v:=2228224+786432=3014656, vv:=191 
235: push 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=191) 
236: right3 1310720 h:=0+1310720=1310720, hh:=83 
[ ]
240: fntdef1 15: amsy7 
261: fntnum15 current font is amsy7 
262: setchar65 h:=1310720+364091=1674811, hh:=108 
263: setchar66 h:=1674811+315843=1990654, hh:=128 
264: setchar67 h:=1990654+340603=2331257, hh:=150 
265: setchar68 h:=2331257+309113=2640370, hh:=169 
266: setchar69 h:=2640370+291267=2931637, hh:=188 
267: setchar70 h:=2931637+272157=3203794, hh:=205 
268: setchar71 h:=3203794+369092=3572886, hh:=228 
269: setchar72 h:=3572886+334960=3907846, hh:=250 
270: setchar73 h:=3907846+276706=4184552, hh:=267 
271: setchar74 h:=4184552+257596=4442148, hh:=283 
272: setchar75 h:=4442148+393215=4835363, hh:=308 
273: setchar76 h:=4835363+393215=5228578, hh:=333 
274: setchar77 h:=5228578+509726=5738304, hh:=365 
275: setchar78 h:=5738304+393215=6131519, hh:=390 
276: setchar79 h:=6131519+359537=6491056, hh:=413 
277: setchar80 h:=6491056+286720=6777776, hh:=431 
278: setchar81 h:=6777776+451471=7229247, hh:=460 
279: setchar82 h:=7229247+422340=7651587, hh:=487 
280: setchar83 h:=7651587+289453=7941040, hh:=505 
281: setchar84 h:=7941040+316028=8257068, hh:=525 
282: setchar85 h:=8257068+359720=8616788, hh:=548 
283: setchar86 h:=8616788+359720=8976508, hh:=571 
284: setchar87 h:=8976508+447100=9423608, hh:=599 
285: setchar88 h:=9423608+393215=9816823, hh:=624 
286: setchar89 h:=9816823+369733=10186556, hh:=647 
287: setchar90 h:=10186556+393215=10579771, hh:=672 
[ABCDEFGHIJKLMNOPQRSTUVWXYZ]
288: pop 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=191) 
289: y0 786432 v:=3014656+786432=3801088, vv:=241 
290: push 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=241) 
291: right3 1310720 h:=0+1310720=1310720, hh:=83 
295: setchar97 h:=1310720+334960=1645680, hh:=106 
296: setchar98 h:=1645680+247582=1893262, hh:=122 
297: setchar99 h:=1893262+247582=2140844, hh:=138 
298: setchar100 h:=2140844+247582=2388426, hh:=153 
299: setchar101 h:=2388426+247582=2636008, hh:=169 
300: setchar102 h:=2636008+276706=2912714, hh:=186 
301: setchar103 h:=2912714+276706=3189420, hh:=204 
302: setchar104 h:=3189420+218451=3407871, hh:=218 
303: setchar105 h:=3407871+218451=3626322, hh:=232 
304: setchar106 h:=3626322+160195=3786517, hh:=242 
305: setchar107 h:=3786517+276706=4063223, hh:=259 
306: setchar108 h:=4063223+276706=4339929, hh:=277 
307: setchar109 h:=4339929+334960=4674889, hh:=298 
308: setchar110 h:=4674889+262143=4937032, hh:=315 
309: setchar111 h:=4937032+160195=5097227, hh:=325 
310: setchar112 h:=5097227+444189=5541416, hh:=353 
311: setchar113 h:=5541416+404868=5946284, hh:=379 
312: setchar114 h:=5946284+451471=6397755, hh:=407 
313: setchar115 h:=6397755+276706=6674461, hh:=425 
314: setchar116 h:=6674461+364091=7038552, hh:=448 
315: setchar117 h:=7038552+364091=7402643, hh:=471 
316: setchar118 h:=7402643+422340=7824983, hh:=498 
317: setchar119 h:=7824983+422340=8247323, hh:=524 
318: setchar120 h:=8247323+247582=8494905, hh:=540 
319: setchar121 h:=8494905+247582=8742487, hh:=556 
320: setchar122 h:=8742487+247582=8990069, hh:=571 
[ abcdefghijklmnopqrstuvwxyz]
321: pop 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=241) 
322: y0 786432 v:=3801088+786432=4587520, vv:=291 
323: push 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=291) 
324: right3 1310720 h:=0+1310720=1310720, hh:=83 
328: setchar48 h:=1310720+152915=1463635, hh:=95 
329: setchar49 h:=1463635+538849=2002484, hh:=129 
330: setchar50 h:=2002484+364091=2366575, hh:=152 
331: setchar51 h:=2366575+364091=2730666, hh:=175 
332: setchar52 h:=2730666+480595=3211261, hh:=205 
333: setchar53 h:=3211261+480595=3691856, hh:=236 
334: setchar54 character 54 invalid in font amsy7! h:=3691856+0=3691856, hh:=236 
335: setchar55 character 55 invalid in font amsy7! h:=3691856+0=3691856, hh:=236 
336: setchar56 h:=3691856+305837=3997693, hh:=255 
337: setchar57 h:=3997693+305837=4303530, hh:=275 
[ 0123456789]
338: pop 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=291) 
339: pop 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670) 
340: down3 1572864 v:=42152922+1572864=43725786, vv:=2770 
344: push 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
345: right4 15229092 h:=0+15229092=15229092, hh:=965 
[ ]
350: fntnum0 current font is amr10 
351: setchar49 character 49 invalid in font amr10! h:=15229092+0=15229092, hh:=965 
[1]
352: pop 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
353: eop